This paper is about the concept of semantically closed languages. Roughly speaking, those are languages which can name their own sentences and apply to them semantic predicates, such as the truth or satisfaction predicates. Hence, they are “self-referential languages,” in the sense that they are capable of producing sentences about themselves or other sentences in the same language. In section one, we introduce the concept informally; in section two, we provide the formal definition of first-order semantically closed languages, which is (...) the Tarskian definition with some technical modifications. Then, we construct a semantic for this kind of language, and prove that the language is indeed semantically closed (according to Definition 1). Finally, we discuss whether the logic underlying the construction is classical, and future goals of this research. (shrink)

Resumo: No presente artigo, discutiremos os aspectos filosóficos de teorias de conjuntos paraconsistentes. A fim de ilustrar nossas considerações de modo mais concreto, abordaremos uma nova teoria de conjuntos baseada em um sistema bem conhecido de Quine e em um cálculo paraconsistente.Palavras-chave: existência, contradição, lógica e paraconsistência.: In the present paper we deal with the philosophical aspects of paraconsistent set theories. In order to illustrate our points more concretely, we will discuss new paraconsistent set theory based both on Quine's well-known (...) system and on a paraconsistent calculus.Keywords: existence, contradiction, logic and paraconsistency. (shrink)

Resumo: Examinar-se á o conceito de verdade pragmática em uma perspectiva que poderia ser denominada de pragmática. Assim, pretende-se apresentar, de um ponto de vista lógico-formal, a idéia de verdade pragmática num sentido de que uma proposição é pragmaticamente verdadeira se e somente se, em determinado contexto, tudo se passa como se ela fosse verdadeira do ponto de vista correspondencial. Ora, A. Tarski, em 1933, ao examinar o conceito de verdade nas linguagens formalizadas forneceu uma definição precisa de verdade inaugurando (...) assim os estudos semânticos e criando o que hoje entendemos por teoria dos modelos. Da mesma forma, Mikemberg, Chuaqui e da Costa, em um trabalho de 1986, forneceram uma noção precisa de quase verdade que pode ser considerada uma espécie de versão do conceito pragmático de verdade. Apresentar-se-á, em linhas gerais, o conceito formal de quase-verdade, junto com alguns desenvolvimentos que foram obtidos a partir do mesmo em problemas de filosofia da ciência.: It's our goal to analyze the concept of pragmatic truth in a perspective that could be called pragmatic. Therefore, we intend to present, from a formal=logic point of view, the idea of pragmatic truth, as meaning a proposition which Is pragmactilly truthful, if and only if, in a determinate context, everything runs as it was truthful in a correspondential perspective. In 1933, A Tarski, while examining the truth concept in formalized languages, gave a precise definition of truth inaugurating with it the semantic studies and creating what we understand, in our days, as theory of models. In the same way, Mikenberg, Chuaqui and da Costa, in a work of 1986, conceived a precise notion of almost-truth, which can be considered as a version of pragmatic truth conception. We intend to show, in general ways, the formal concept of almost-truth among some developments obtained from this same concept in philosophy of science. (shrink)

Resumo: Pretendemos esboçar o conceito de lógica multidedutiva que constitui um sistema lógico subjacente à noção de verdade pragmática. Com base em lógicas multidedutivas, delineamos um aparato formal para o tratamento apropriado de inconsistências em teorias físicas.: we intend to delineate the concept of multideductive logic that constitutes a subjacent logical system for the pragmatic notion of truth. Based upon the multideductive logic we have pictured a formal apparatus used as an appropriate treatment to the inconsistencies in Physics theories.